1. There he studied symbolic logic under Thomas Greenwood of the philosophy department. 2. It appeared in 1953 in the " Journal of Symbolic Logic ". 3. Most other animals lack symbolic logic , which is needed for all representational art. 4. By the 1930s symbolic logic itself was adequately included within mathematics. 5. A student published in the Journal of Symbolic Logic while in high school. 6. Most contemporary authorities now recognise three main types of relation in symbolic logic : 7. Symbolic logic studies the purely formal properties of strings of symbols.8. She was also named as secretary of the Association for Symbolic Logic in 1982. 9. Areas covered included : symbolic logic , Bayes theorem ( probability ), and value theory. 10. The Karp Prize of the Association for Symbolic Logic is named in her honor.